581. Knowledge Engineering and Semantic Web
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses,Semantic Web -- Congresses,Semantic Web,نرمافزار -- مهندسی -- کنگره‌ها,وب معناشناختی -- کنگره‌ها,وب معناشناختی
رده :
E-Book
,
582. Knowledge and systems engineering :Proceedings of the Fifth International Conference KSE 2013, volume 1
پدیدآورنده : Huynh, Van-Nam
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Expert systems )Computer science( -- Congresses,، Software engineering -- Congresses,، Systems engineering -- Congresses
رده :
T
58
.
5
.
K56719
2014
583. Knowledge and technology integration in production and services :
پدیدآورنده : edited by Vladimír Marǐk, Luis M. Camarinha-Matos, Hamideh Afsarmanesh.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer integrated manufacturing systems -- Congresses.,Manufacturing processes -- Automation -- Congresses.,Systems engineering -- Congresses.
رده :
TS155
.
63
E358
2002
584. Knowledge and technology integration in production and services :
پدیدآورنده : edited by Vladimír Marǐk, Luis M. Camarinha-Matos, Hamideh Afsarmanesh.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer integrated manufacturing systems -- Congresses.,Manufacturing processes -- Automation -- Congresses.,Systems engineering -- Congresses.
585. Knowledge-based software engineering
پدیدآورنده : edited by Tomسaes Hrueska and Masa-aki Hashimoto,Title
کتابخانه: (مازندران)
موضوع : Expert systems )Computer science(, Congresses,Computer software, Development, Congresses
رده :
QA
.
E95J65
76
.
76
2000
586. Knowledge-based software engineering
پدیدآورنده : / edited by T. Hruska and M. Mashimoto
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Software engineering- Congresses,Expert systems (Computer science)- Congresses
رده :
QA76
.
758
.
K655
2000
587. Knowledge-based software engineering :
پدیدآورنده : edited by Maria Virvou and Taichi Nakamura.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Expert systems (Computer science), Congresses.,Software engineering, Congresses.,COMPUTERS-- Expert Systems.,Expert systems (Computer science),Software engineering.
رده :
QA76
.
76
.
E95
J65
2008eb
588. Knowledge-based software engineering: proceedings of the Fourth Joint Conference on Knowledge-Based Software Engineering in Brno, Czech Republic, 2000
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
K66
2000
589. Knowledge-based software engineering : proceedings of the Fourth Joint Conference on Knowledge-Based Software Engineering in Brno, Czech Republic, 2000
پدیدآورنده : edited by Tomas Hruska and Masa-aki Hashimoto
کتابخانه: (طهران)
موضوع : Congresses ، Expert systems )Computer science(,Congresses ، Computer software -- Development
رده :
QA
76
.
76
.
E95J6
2000
590. Knowledge-based software engineering: proceedings of the Fourth Joint Conference on Knowledge-Based Software Engineering, Brno, Czech Republic, 2000
پدیدآورنده : edited by Tomas Hruska and Masa-aki Hashimoto
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
J65
2000
591. Knowledge-based software engineering: proceedings of the Third Joint Conference on knowledge-based software engineering in Smolentice, Slovakia, 1998
پدیدآورنده : edited by Pavol Navrat and Haruki Ueno
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
K65
1998
592. Knowledge engineering and management proceedings of the seventh International Conference on Intelligent Systems and Knowledge Engineering, Beijing, China, Dec 2012 )ISKE 2012(
پدیدآورنده : Fuchun Sun, Tianrui Li, Hongbo Li, editors
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Congresses ، Artificial intelligence - Engineering applications,Congresses ، Intelligent agents )Computer software(,Congresses ، Systems engineering
رده :
Q334
593. Knowledge engineering and the semantic web :
پدیدآورنده : Pavel Klinov, Dmitry Mouromtsev (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Semantic Web, Congresses,Software engineering, Congresses
رده :
QA76
.
758
594. Languages, Design Methods, and Tools for Electronic System Design
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Software architecture -- Congresses,روش‌های صوری (کامپیوتر) -- کنگره‌ها,نرمافزار -- مهندسی -- کنگره‌ها ,معماری نرمافزار -- کنگره‌ها
رده :
E-Book
,
595. Languages, Design Methods, and Tools for Electronic System Design
پدیدآورنده : \ Franco Fummi, Robert Wille, Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Computer software -- Verification -- Congresses,روش‌های صوری (کامپیوتر) -- کنگره‌ها,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی -- کنگره‌ها
رده :
E-Book
,
596. Languages, compilers, and run-time systems for scalable computers : 4th International Workshop, LCR'98, Pittsburgh, PA, USA, May 28-30, 1998 : selected papers
پدیدآورنده : David O'Hallaron )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Software engineering,Congresses ، Computer architecture
رده :
QA
76
.
L28
Vol
.
1511
597. Languages, design methods, and tools for electronic system design.
پدیدآورنده : \ Frank Oppenheimer , Julio Luis Medina Pasaje Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
9
.
L325
2016
E-Book
,
598. Languages, design methods, and tools for electronic system design :
پدیدآورنده : Daniel Große, Sara Vinco, Hiren Patel, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer-aided design, Congresses.,Electronic circuit design-- Data processing, Congresses.,Computer-aided design.,Electronic circuit design-- Data processing.,TECHNOLOGY & ENGINEERING-- Mechanical.
رده :
TK7867
599. Lean and agile software development :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
600. Lean and agile software development :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
